10% off all books and free delivery over £40
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Book Series: Theoretical Computer Science and General Issues

Book Cover for Computing and Software Science by Bernhard Steffen

Computing and Software Science

Bernhard Steffen

Paperback

Not Available

Book Cover for Computability and Complexity by Adam Day

Computability and Complexity

Adam Day

Paperback

Not Available

Book Cover for Computers and Games by Aske Plaat

Computers and Games

Aske Plaat

Paperback

Not Available

Book Cover for Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings by Borzoo Bonakdarpour

Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

Borzoo Bonakdarpour

Paperback

Not Available

Book Cover for Swarm Intelligence Based Optimization by Patrick Siarry

Swarm Intelligence Based Optimization

Patrick Siarry

Paperback

Not Available

Book Cover for Euro-Par 2016: Parallel Processing Workshops by Frédéric Desprez

Euro-Par 2016: Parallel Processing Workshops

Frédéric Desprez

Paperback

Not Available

Book Cover for Membrane Computing by Alberto Leporati

Membrane Computing

Alberto Leporati

Paperback

Not Available

Book Cover for Small Dynamic Complexity Classes by Thomas Zeume

Small Dynamic Complexity Classes

Thomas Zeume

Paperback

Not Available

Book Cover for Approximation and Online Algorithms by Klaus Jansen

Approximation and Online Algorithms

Klaus Jansen

Paperback

Not Available

Book Cover for SOFSEM 2017: Theory and Practice of Computer Science by Bernhard Steffen

SOFSEM 2017: Theory and Practice of Computer Science

Bernhard Steffen

Paperback

Not Available

Book Cover for Numerical Software Verification by Sergiy Bogomolov

Numerical Software Verification

Sergiy Bogomolov

Paperback

Not Available

Book Cover for High-Performance Scientific Computing by Edoardo Di Napoli

High-Performance Scientific Computing

Edoardo Di Napoli

Paperback

Not Available

Book Cover for WALCOM: Algorithms and Computation by SheungHung Poon

WALCOM: Algorithms and Computation

SheungHung Poon

Paperback

Not Available

Book Cover for Architecture of Computing Systems - ARCS 2017 by Jens Knoop

Architecture of Computing Systems - ARCS 2017

Jens Knoop

Paperback

Not Available

Book Cover for Evolutionary Multi-Criterion Optimization by Heike Trautmann

Evolutionary Multi-Criterion Optimization

Heike Trautmann

Paperback

Not Available

Book Cover for Logic-Based Program Synthesis and Transformation by Manuel V Hermenegildo

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo

Paperback

Not Available

Book Cover for Numerical Analysis and Its Applications by Ivan Dimov

Numerical Analysis and Its Applications

Ivan Dimov

Paperback

Not Available

Book Cover for Applications of Evolutionary Computation by Giovanni Squillero

Applications of Evolutionary Computation

Giovanni Squillero

Paperback

Not Available

Book Cover for Applied Reconfigurable Computing by Stephan Wong

Applied Reconfigurable Computing

Stephan Wong

Paperback

Not Available

Book Cover for Relational and Algebraic Methods in Computer Science by Peter Höfner

Relational and Algebraic Methods in Computer Science

Peter Höfner

Paperback

Not Available

Book Cover for High Performance Computing by Julian M Kunkel

High Performance Computing

Julian M Kunkel

Paperback

Not Available

Book Cover for Computer Science – Theory and Applications by Pascal Weil

Computer Science – Theory and Applications

Pascal Weil

Paperback

Not Available

Book Cover for Unveiling Dynamics and Complexity by Jarkko Kari

Unveiling Dynamics and Complexity

Jarkko Kari

Paperback

Not Available

Book Cover for Descriptional Complexity of Formal Systems by Giovanni Pighizzini

Descriptional Complexity of Formal Systems

Giovanni Pighizzini

Paperback

Not Available

Book Cover for Integer Programming and Combinatorial Optimization by Friedrich Eisenbrand

Integer Programming and Combinatorial Optimization

Friedrich Eisenbrand

Paperback

Not Available

Book Cover for Integration of AI and OR Techniques in Constraint Programming by Domenico Salvagnin

Integration of AI and OR Techniques in Constraint Programming

Domenico Salvagnin

Paperback

Not Available

Book Cover for Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 20 by José Manuel Ferrández Vicente

Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 20

José Manuel Ferrández Vicente

Paperback

Not Available

Book Cover for Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Pap by Narayan Desai

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Pap

Narayan Desai

Paperback

Not Available

Book Cover for Logic, Language, Information, and Computation by Juliette Kennedy

Logic, Language, Information, and Computation

Juliette Kennedy

Paperback

Not Available

Book Cover for Computing and Combinatorics by Yixin Cao

Computing and Combinatorics

Yixin Cao

Paperback

Not Available

Book Cover for Algorithms and Architectures for Parallel Processing by Shadi Ibrahim

Algorithms and Architectures for Parallel Processing

Shadi Ibrahim

Paperback

Not Available

Book Cover for Theoretical Computer Science and Discrete Mathematics by S Arumugam

Theoretical Computer Science and Discrete Mathematics

S Arumugam

Paperback

Not Available

Book Cover for Computational Science and Its Applications – ICCSA 2017 by Osvaldo Gervasi

Computational Science and Its Applications – ICCSA 2017

Osvaldo Gervasi

Paperback

Not Available

Book Cover for Euro-Par 2017: Parallel Processing by Francisco F Rivera

Euro-Par 2017: Parallel Processing

Francisco F Rivera

Paperback

Not Available

Book Cover for Formal Modeling and Analysis of Timed Systems by Alessandro Abate

Formal Modeling and Analysis of Timed Systems

Alessandro Abate

Paperback

Not Available

Book Cover for Computer Aided Verification by Rupak Majumdar

Computer Aided Verification

Rupak Majumdar

Paperback

Not Available

Book Cover for Electronic Participation by Peter Parycek

Electronic Participation

Peter Parycek

Paperback

Not Available

Book Cover for Trends in Functional Programming by David Van Horn

Trends in Functional Programming

David Van Horn

Paperback

Not Available

Book Cover for Models, Algorithms, Logics and Tools by Luca Aceto

Models, Algorithms, Logics and Tools

Luca Aceto

Paperback

Not Available

Book Cover for Verification and Evaluation of Computer and Communication Systems by Kamel Barkaoui

Verification and Evaluation of Computer and Communication Systems

Kamel Barkaoui

Paperback

Not Available

Book Cover for DNA Computing and Molecular Programming by Robert Brijder

DNA Computing and Molecular Programming

Robert Brijder

Paperback

Not Available

Book Cover for Software Engineering and Formal Methods by Alessandro Cimatti

Software Engineering and Formal Methods

Alessandro Cimatti

Paperback

Not Available

Book Cover for Coding Theory and Applications by Ángela I Barbero

Coding Theory and Applications

Ángela I Barbero

Paperback

Not Available

Book Cover for Quantitative Evaluation of Systems by Nathalie Bertrand

Quantitative Evaluation of Systems

Nathalie Bertrand

Paperback

Not Available

Book Cover for Graph-Theoretic Concepts in Computer Science by Hans L Bodlaender

Graph-Theoretic Concepts in Computer Science

Hans L Bodlaender

Paperback

Not Available

Book Cover for High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, by Julian M Kunkel

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22,

Julian M Kunkel

Paperback

Not Available

Book Cover for Computational Logistics by Tolga Bektas

Computational Logistics

Tolga Bektas

Paperback

Not Available

Book Cover for Network and Parallel Computing by Xuanhua Shi

Network and Parallel Computing

Xuanhua Shi

Paperback

Not Available

Book Cover for Theoretical Aspects of Computing – ICTAC 2017 by Dang Van Hung

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung

Paperback

Not Available

Book Cover for Queueing Theory and Network Applications by Wuyi Yue

Queueing Theory and Network Applications

Wuyi Yue

Paperback

Not Available

Book Cover for Topics in Theoretical Computer Science by Mohammad Mousavi

Topics in Theoretical Computer Science

Mohammad Mousavi

Paperback

Not Available

Book Cover for Artificial Neural Networks and Machine Learning – ICANN 2017 by Alessandra Lintas

Artificial Neural Networks and Machine Learning – ICANN 2017

Alessandra Lintas

Paperback

Not Available

Book Cover for Neural Information Processing by Derong Liu

Neural Information Processing

Derong Liu

Paperback

Not Available

Book Cover for Euro-Par 2017: Parallel Processing Workshops by Dora B Heras

Euro-Par 2017: Parallel Processing Workshops

Dora B Heras

Paperback

Not Available

Book Cover for Computer Aided Systems Theory – EUROCAST 2017 by Roberto MorenoDíaz

Computer Aided Systems Theory – EUROCAST 2017

Roberto MorenoDíaz

Paperback

Not Available

Book Cover for Informatics in Schools: Focus on Learning Programming 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 20 by Valentina Dagien

Informatics in Schools: Focus on Learning Programming 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 20

Valentina Dagien

Paperback

Not Available

Book Cover for Verification, Model Checking, and Abstract Interpretation by Isil Dillig

Verification, Model Checking, and Abstract Interpretation

Isil Dillig

Paperback

Not Available

Book Cover for Artificial Evolution by Evelyne Lutton

Artificial Evolution

Evelyne Lutton

Paperback

Not Available

Book Cover for Supercomputing Frontiers by Rio Yokota

Supercomputing Frontiers

Rio Yokota

Paperback

Not Available

Book Cover for Architecture of Computing Systems – ARCS 2018 by Mladen Berekovic

Architecture of Computing Systems – ARCS 2018

Mladen Berekovic

Paperback

Not Available

Book Cover for Graph Transformation, Specifications, and Nets by Reiko Heckel

Graph Transformation, Specifications, and Nets

Reiko Heckel

Paperback

Not Available

Book Cover for Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Gr by Alessandra Russo

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Gr

Alessandra Russo

Paperback

Not Available

Book Cover for LATIN 2018: Theoretical Informatics by Michael A Bender

LATIN 2018: Theoretical Informatics

Michael A Bender

Paperback

Not Available

Book Cover for Frontiers in Algorithmics by Jianer Chen

Frontiers in Algorithmics

Jianer Chen

Paperback

Not Available

Book Cover for Computer Aided Verification by Hana Chockler

Computer Aided Verification

Hana Chockler

Paperback

Not Available

Book Cover for Adventures Between Lower Bounds and Higher Altitudes by HansJoachim Böckenhauer

Adventures Between Lower Bounds and Higher Altitudes

HansJoachim Böckenhauer

Paperback

Not Available

Book Cover for Formal Modeling and Analysis of Timed Systems by David N Jansen

Formal Modeling and Analysis of Timed Systems

David N Jansen

Paperback

Not Available

Book Cover for Green, Pervasive, and Cloud Computing by Shijian Li

Green, Pervasive, and Cloud Computing

Shijian Li

Paperback

Not Available

Book Cover for Enjoying Natural Computing by Carmen Graciani

Enjoying Natural Computing

Carmen Graciani

Paperback

Not Available

Book Cover for High Performance Computing for Computational Science – VECPAR 2018 by Hermes Senger

High Performance Computing for Computational Science – VECPAR 2018

Hermes Senger

Paperback

Not Available

Book Cover for Structured Object-Oriented Formal Language and Method by Zhenhua Duan

Structured Object-Oriented Formal Language and Method

Zhenhua Duan

Paperback

Not Available

Book Cover for Membrane Computing by Thomas Hinze

Membrane Computing

Thomas Hinze

Paperback

Not Available

Book Cover for High-Performance Modelling and Simulation for Big Data Applications by Joanna Koodziej

High-Performance Modelling and Simulation for Big Data Applications

Joanna Koodziej

Paperback

Not Available

Book Cover for Logic-Based Program Synthesis and Transformation by Fred Mesnard

Logic-Based Program Synthesis and Transformation

Fred Mesnard

Paperback

Not Available

Book Cover for Algorithmic Aspects of Cloud Computing by Yann Disser

Algorithmic Aspects of Cloud Computing

Yann Disser

Paperback

Not Available

Book Cover for Evolutionary Multi-Criterion Optimization by Kalyanmoy Deb

Evolutionary Multi-Criterion Optimization

Kalyanmoy Deb

Paperback

Not Available

Book Cover for Quantum Technology and Optimization Problems by Sebastian Feld

Quantum Technology and Optimization Problems

Sebastian Feld

Paperback

Not Available

Book Cover for Language and Automata Theory and Applications by Carlos MartínVide

Language and Automata Theory and Applications

Carlos MartínVide

Paperback

Not Available

Book Cover for Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Re by Reiner Hähnle

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Re

Reiner Hähnle

Paperback

Not Available

Book Cover for Applied Reconfigurable Computing by Christian Hochberger

Applied Reconfigurable Computing

Christian Hochberger

Paperback

Not Available

Book Cover for Computational Intelligence in Music, Sound, Art and Design by Anikó Ekárt

Computational Intelligence in Music, Sound, Art and Design

Anikó Ekárt

Paperback

Not Available

Book Cover for Applications of Evolutionary Computation by Paul Kaufmann

Applications of Evolutionary Computation

Paul Kaufmann

Paperback

Not Available

Book Cover for Trends in Functional Programming by Micha Paka

Trends in Functional Programming

Micha Paka

Paperback

Not Available

Book Cover for Frontiers in Algorithmics by Yijia Chen

Frontiers in Algorithmics

Yijia Chen

Paperback

Not Available

Book Cover for Architecture of Computing Systems – ARCS 2019 by Martin Schoeberl

Architecture of Computing Systems – ARCS 2019

Martin Schoeberl

Paperback

Not Available

Book Cover for Integer Programming and Combinatorial Optimization by Andrea Lodi

Integer Programming and Combinatorial Optimization

Andrea Lodi

Paperback

Not Available

Book Cover for Algorithms and Complexity by Pinar Heggernes

Algorithms and Complexity

Pinar Heggernes

Paperback

Not Available

Book Cover for Computational Science – ICCS 2019 by João M F Rodrigues

Computational Science – ICCS 2019

João M F Rodrigues

Paperback

Not Available

Book Cover for Logic, Language, Information, and Computation by Rosalie Iemhoff

Logic, Language, Information, and Computation

Rosalie Iemhoff

Paperback

Not Available

Book Cover for Analysis of Experimental Algorithms by Ilias Kotsireas

Analysis of Experimental Algorithms

Ilias Kotsireas

Paperback

Not Available

Book Cover for Computer Aided Verification by Isil Dillig

Computer Aided Verification

Isil Dillig

Paperback

Not Available

Book Cover for DNA Computing and Molecular Programming by Chris Thachuk

DNA Computing and Molecular Programming

Chris Thachuk

Paperback

Not Available

Book Cover for Numerical Software Verification by Majid Zamani

Numerical Software Verification

Majid Zamani

Paperback

Not Available

Book Cover for Computer Algebra in Scientific Computing by Matthew England

Computer Algebra in Scientific Computing

Matthew England

Paperback

Not Available

Book Cover for Models, Languages, and Tools for Concurrent and Distributed Programming by Michele Boreale

Models, Languages, and Tools for Concurrent and Distributed Programming

Michele Boreale

Paperback

Not Available

Book Cover for Reachability Problems by Emmanuel Filiot

Reachability Problems

Emmanuel Filiot

Paperback

Not Available

Book Cover for Combinatorics on Words by Robert Merca

Combinatorics on Words

Robert Merca

Paperback

Not Available

Book Cover for Queueing Theory and Network Applications by Tuan PhungDuc

Queueing Theory and Network Applications

Tuan PhungDuc

Paperback

Not Available

Book Cover for Advanced Parallel Processing Technologies by PenChung Yew

Advanced Parallel Processing Technologies

PenChung Yew

Paperback

Not Available

Book Cover for Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Procee by Igor V Tetko

Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Procee

Igor V Tetko

Paperback

Not Available

Book Cover for Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning by Igor V Tetko

Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning

Igor V Tetko

Paperback

Not Available

Book Cover for Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part II by Igor V Tetko

Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part II

Igor V Tetko

Paperback

Not Available

Book Cover for Artificial Neural Networks and Machine Learning – ICANN 2019: Text and Time Series 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Par by Igor V Tetko

Artificial Neural Networks and Machine Learning – ICANN 2019: Text and Time Series 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Par

Igor V Tetko

Paperback

Not Available

Book Cover for Formal Methods Teaching by Brijesh Dongol

Formal Methods Teaching

Brijesh Dongol

Paperback

Not Available

Book Cover for The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy by Mário S Alvim

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

Mário S Alvim

Paperback

Not Available

Book Cover for Information Retrieval by Qi Zhang

Information Retrieval

Qi Zhang

Paperback

Not Available

Book Cover for Network and Parallel Computing by Xiaoxin Tang

Network and Parallel Computing

Xiaoxin Tang

Paperback

Not Available

Book Cover for Quantitative Evaluation of Systems by David Parker

Quantitative Evaluation of Systems

David Parker

Paperback

Not Available

Book Cover for Graph-Theoretic Concepts in Computer Science by Ignasi Sau

Graph-Theoretic Concepts in Computer Science

Ignasi Sau

Paperback

Not Available

Book Cover for String Processing and Information Retrieval by Nieves R Brisaboa

String Processing and Information Retrieval

Nieves R Brisaboa

Paperback

Not Available

Book Cover for From Software Engineering to Formal Methods and Tools, and Back by Maurice H ter Beek

From Software Engineering to Formal Methods and Tools, and Back

Maurice H ter Beek

Paperback

Not Available

Book Cover for Languages and Compilers for Parallel Computing by Mary Hall

Languages and Compilers for Parallel Computing

Mary Hall

Paperback

Not Available

Book Cover for Theoretical Aspects of Computing – ICTAC 2019 by Robert Mark Hierons

Theoretical Aspects of Computing – ICTAC 2019

Robert Mark Hierons

Paperback

Not Available

Book Cover for Unifying Theories of Programming by Pedro Ribeiro

Unifying Theories of Programming

Pedro Ribeiro

Paperback

Not Available

Book Cover for High Performance Computing by Michèle Weiland

High Performance Computing

Michèle Weiland

Paperback

Not Available

Book Cover for Algorithms and Architectures for Parallel Processing by Sheng Wen

Algorithms and Architectures for Parallel Processing

Sheng Wen

Paperback

Not Available

Book Cover for Neural Information Processing by Tom Gedeon

Neural Information Processing

Tom Gedeon

Paperback

Not Available

Book Cover for Learning and Intelligent Optimization by Nikolaos F Matsatsinis

Learning and Intelligent Optimization

Nikolaos F Matsatsinis

Paperback

Not Available

Book Cover for Numerical Computations: Theory and Algorithms by Yaroslav D Sergeyev

Numerical Computations: Theory and Algorithms

Yaroslav D Sergeyev

Paperback

Not Available

Book Cover for Mathematical Aspects of Computer and Information Sciences by Daniel Slamanig

Mathematical Aspects of Computer and Information Sciences

Daniel Slamanig

Paperback

Not Available

Book Cover for Verification, Model Checking, and Abstract Interpretation by Dirk, Ph D Beyer

Verification, Model Checking, and Abstract Interpretation

Dirk and 1 more

Paperback

Not Available

Book Cover for Euro-Par 2019: Parallel Processing Workshops by Ulrich Schwardmann

Euro-Par 2019: Parallel Processing Workshops

Ulrich Schwardmann

Paperback

Not Available

Book Cover for Variable Neighborhood Search by Rachid Benmansour

Variable Neighborhood Search

Rachid Benmansour

Paperback

Not Available

Book Cover for Algorithms and Discrete Applied Mathematics by Manoj Changat

Algorithms and Discrete Applied Mathematics

Manoj Changat

Paperback

Not Available

Book Cover for Algorithmic Aspects of Cloud Computing by Ivona Brandic

Algorithmic Aspects of Cloud Computing

Ivona Brandic

Paperback

Not Available

Book Cover for Logic-Based Program Synthesis and Transformation by Maurizio Gabbrielli

Logic-Based Program Synthesis and Transformation

Maurizio Gabbrielli

Paperback

Not Available

Book Cover for WALCOM: Algorithms and Computation by M Sohel Rahman

WALCOM: Algorithms and Computation

M Sohel Rahman

Paperback

Not Available

Book Cover for Artificial Evolution by Lhassane Idoumghar

Artificial Evolution

Lhassane Idoumghar

Paperback

Not Available

Book Cover for Reversible Computation: Extending Horizons of Computing by Irek Ulidowski

Reversible Computation: Extending Horizons of Computing

Irek Ulidowski

Paperback

Not Available

Book Cover for Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, Apr by Peter Müller

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, Apr

Peter Müller

Paperback

Not Available

Book Cover for Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, by Heike Wehrheim

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland,

Heike Wehrheim

Paperback

Not Available

Book Cover for Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, D by Jean GoubaultLarrecq

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, D

Jean GoubaultLarrecq

Paperback

Not Available

Book Cover for Developments in Language Theory by Nataša Jonoska

Developments in Language Theory

Nataša Jonoska

Paperback

Not Available

Book Cover for Mathematical Software – ICMS 2020 by Anna Maria Bigatti

Mathematical Software – ICMS 2020

Anna Maria Bigatti

Paperback

Not Available

Book Cover for Evolutionary Computation in Combinatorial Optimization by Luís Paquete

Evolutionary Computation in Combinatorial Optimization

Luís Paquete

Paperback

Not Available

Book Cover for Artificial Intelligence in Music, Sound, Art and Design by Juan Romero

Artificial Intelligence in Music, Sound, Art and Design

Juan Romero

Paperback

Not Available

Book Cover for High Performance Computing by Ponnuswamy Sadayappan

High Performance Computing

Ponnuswamy Sadayappan

Paperback

Not Available

Book Cover for Application and Theory of Petri Nets and Concurrency by Ryszard Janicki

Application and Theory of Petri Nets and Concurrency

Ryszard Janicki

Paperback

Not Available

Book Cover for Architecture of Computing Systems – ARCS 2020 by André Brinkmann

Architecture of Computing Systems – ARCS 2020

André Brinkmann

Paperback

Not Available

Book Cover for Treewidth, Kernels, and Algorithms by Fedor V Fomin

Treewidth, Kernels, and Algorithms

Fedor V Fomin

Paperback

Not Available

Book Cover for Combinatorial Optimization by Mourad Baïou

Combinatorial Optimization

Mourad Baïou

Paperback

Not Available

Book Cover for Theory and Applications of Satisfiability Testing – SAT 2020 by Luca Pulina

Theory and Applications of Satisfiability Testing – SAT 2020

Luca Pulina

Paperback

Not Available

Book Cover for Trends in Functional Programming by Aleksander Byrski

Trends in Functional Programming

Aleksander Byrski

Paperback

Not Available

Book Cover for Computer Aided Verification by Shuvendu K Lahiri

Computer Aided Verification

Shuvendu K Lahiri

Paperback

Not Available

Book Cover for Computational Science and Its Applications – ICCSA 2020 by Osvaldo Gervasi

Computational Science and Its Applications – ICCSA 2020

Osvaldo Gervasi

Paperback

Not Available

Book Cover for Parallel Problem Solving from Nature – PPSN XVI by Thomas Bäck

Parallel Problem Solving from Nature – PPSN XVI

Thomas Bäck

Paperback

Not Available

Book Cover for Computing and Combinatorics by Donghyun Kim

Computing and Combinatorics

Donghyun Kim

Paperback

Not Available

Book Cover for Topics in Theoretical Computer Science by Luís S Barbosa

Topics in Theoretical Computer Science

Luís S Barbosa

Paperback

Not Available

Book Cover for Information Retrieval by Zhicheng Dou

Information Retrieval

Zhicheng Dou

Paperback

Not Available

Book Cover for Logic, Language, and Security by Vivek Nigam

Logic, Language, and Security

Vivek Nigam

Paperback

Not Available

Book Cover for String Processing and Information Retrieval by Christina Boucher

String Processing and Information Retrieval

Christina Boucher

Paperback

Not Available

Book Cover for Software Engineering and Formal Methods by Frank de Boer

Software Engineering and Formal Methods

Frank de Boer

Paperback

Not Available

Book Cover for Dynamic Data Driven Applications Systems by Frederica Darema

Dynamic Data Driven Applications Systems

Frederica Darema

Paperback

Not Available

Book Cover for Frontiers in Algorithmics by Minming Li

Frontiers in Algorithmics

Minming Li

Paperback

Not Available

Book Cover for Wireless Algorithms, Systems, and Applications by Dongxiao Yu

Wireless Algorithms, Systems, and Applications

Dongxiao Yu

Paperback

Not Available

Book Cover for Computational Logistics by Eduardo LallaRuiz

Computational Logistics

Eduardo LallaRuiz

Paperback

Not Available

Book Cover for Descriptional Complexity of Formal Systems by Galina Jirásková

Descriptional Complexity of Formal Systems

Galina Jirásková

Paperback

Not Available

Book Cover for Reachability Problems by Sylvain Schmitz

Reachability Problems

Sylvain Schmitz

Paperback

Not Available

Book Cover for Embedded Computer Systems: Architectures, Modeling, and Simulation by Alex Orailoglu

Embedded Computer Systems: Architectures, Modeling, and Simulation

Alex Orailoglu

Paperback

Not Available

Book Cover for Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Oct by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Oct

Tiziana Margaria

Paperback

Not Available

Book Cover for Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30 by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30

Tiziana Margaria

Paperback

Not Available

Book Cover for Advances in Computer Games by Tristan Cazenave

Advances in Computer Games

Tristan Cazenave

Paperback

Not Available

Book Cover for Arithmetic of Finite Fields by Jean Claude Bajard

Arithmetic of Finite Fields

Jean Claude Bajard

Paperback

Not Available

Book Cover for Advances in Neural Networks – ISNN 2020 by Min Han

Advances in Neural Networks – ISNN 2020

Min Han

Paperback

Not Available

Book Cover for Dynamic Logic. New Trends and Applications by Manuel A Martins

Dynamic Logic. New Trends and Applications

Manuel A Martins

Paperback

Not Available

Book Cover for Verification, Model Checking, and Abstract Interpretation by Fritz Henglein

Verification, Model Checking, and Abstract Interpretation

Fritz Henglein

Paperback

Not Available

Book Cover for SOFSEM 2021: Theory and Practice of Computer Science 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, by Tomáš Bureš

SOFSEM 2021: Theory and Practice of Computer Science 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021,

Tomáš Bureš

Paperback

Not Available

Book Cover for Language and Automata Theory and Applications by Alberto Leporati

Language and Automata Theory and Applications

Alberto Leporati

Paperback

Not Available

Book Cover for Network and Parallel Computing by Xin He

Network and Parallel Computing

Xin He

Paperback

Not Available

Book Cover for Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Lux by Nobuko Yoshida

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Lux

Nobuko Yoshida

Paperback

Not Available

Book Cover for Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, by Esther Guerra

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City,

Esther Guerra

Paperback

Not Available

Book Cover for Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, L by Stefan Kiefer

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, L

Stefan Kiefer

Paperback

Not Available

Book Cover for Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20 by Jan Friso Groote

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20

Jan Friso Groote

Paperback

Not Available

Book Cover for Evolutionary Multi-Criterion Optimization by Hisao Ishibuchi

Evolutionary Multi-Criterion Optimization

Hisao Ishibuchi

Paperback

Not Available

Book Cover for Membrane Computing by Rudolf Freund

Membrane Computing

Rudolf Freund

Paperback

Not Available

Book Cover for Advances in Swarm Intelligence by Ying Tan

Advances in Swarm Intelligence

Ying Tan

Paperback

Not Available

Book Cover for Genetic Programming by Ting Hu

Genetic Programming

Ting Hu

Paperback

Not Available

Book Cover for Algorithms and Complexity by Tiziana Calamoneri

Algorithms and Complexity

Tiziana Calamoneri

Paperback

Not Available

Book Cover for Rigorous State-Based Methods by Alexander Raschke

Rigorous State-Based Methods

Alexander Raschke

Paperback

Not Available

Book Cover for High Performance Computing by Bradford L Chamberlain

High Performance Computing

Bradford L Chamberlain

Paperback

Not Available

Book Cover for Computer Science – Theory and Applications by Rahul Santhanam

Computer Science – Theory and Applications

Rahul Santhanam

Paperback

Not Available

Book Cover for Graph Transformation by Fabio Gadducci

Graph Transformation

Fabio Gadducci

Paperback

Not Available

Book Cover for Computer Aided Verification by Alexandra Silva

Computer Aided Verification

Alexandra Silva

Paperback

Not Available

Book Cover for Architecture of Computing Systems by Christian Hochberger

Architecture of Computing Systems

Christian Hochberger

Paperback

Not Available

Book Cover for Implementation and Application of Automata by Sebastian Maneth

Implementation and Application of Automata

Sebastian Maneth

Paperback

Not Available

Book Cover for Algorithms and Data Structures by Anna Lubiw

Algorithms and Data Structures

Anna Lubiw

Paperback

Not Available

Book Cover for Connecting with Computability by Liesbeth De Mol

Connecting with Computability

Liesbeth De Mol

Paperback

Not Available

Book Cover for Theoretical Aspects of Computing – ICTAC 2021 by Antonio Cerone

Theoretical Aspects of Computing – ICTAC 2021

Antonio Cerone

Paperback

Not Available

Book Cover for Trends in Functional Programming by Viktória Zsók

Trends in Functional Programming

Viktória Zsók

Paperback

Not Available

Book Cover for Combinatorics on Words by Thierry Lecroq

Combinatorics on Words

Thierry Lecroq

Paperback

Not Available

Book Cover for Computer Algebra in Scientific Computing by François Boulier

Computer Algebra in Scientific Computing

François Boulier

Paperback

Not Available

Book Cover for Frontiers of Algorithmics by Jing Chen

Frontiers of Algorithmics

Jing Chen

Paperback

Not Available

Book Cover for Artificial Neural Networks and Machine Learning – ICANN 2021 by Igor Farkas

Artificial Neural Networks and Machine Learning – ICANN 2021

Igor Farkas

Paperback

Not Available

Book Cover for Graph-Theoretic Concepts in Computer Science by ukasz Kowalik

Graph-Theoretic Concepts in Computer Science

ukasz Kowalik

Paperback

Not Available

Book Cover for Wireless Algorithms, Systems, and Applications by Zhe Liu

Wireless Algorithms, Systems, and Applications

Zhe Liu

Paperback

Not Available

Book Cover for Computational Science and Its Applications – ICCSA 2021 by Osvaldo Gervasi

Computational Science and Its Applications – ICCSA 2021

Osvaldo Gervasi

Paperback

Not Available

Book Cover for Approximation and Online Algorithms by Jochen Koenemann

Approximation and Online Algorithms

Jochen Koenemann

Paperback

Not Available

Book Cover for Relational and Algebraic Methods in Computer Science by Uli Fahrenberg

Relational and Algebraic Methods in Computer Science

Uli Fahrenberg

Paperback

Not Available

Book Cover for Discrete and Computational Geometry, Graphs, and Games by Jin Akiyama

Discrete and Computational Geometry, Graphs, and Games

Jin Akiyama

Paperback

Not Available

Book Cover for Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proce by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proce

Tiziana Margaria

Paperback

Not Available

Book Cover for Logic, Language, Information, and Computation by Alexandra Silva

Logic, Language, Information, and Computation

Alexandra Silva

Paperback

Not Available

Book Cover for Stabilization, Safety, and Security of Distributed Systems by Colette Johnen

Stabilization, Safety, and Security of Distributed Systems

Colette Johnen

Paperback

Not Available

Book Cover for Optimization and Applications by Nicholas N Olenev

Optimization and Applications

Nicholas N Olenev

Paperback

Not Available

Book Cover for Algorithmic Aspects of Cloud Computing by Gianlorenzo DAngelo

Algorithmic Aspects of Cloud Computing

Gianlorenzo DAngelo

Paperback

Not Available

Book Cover for Neural Information Processing by Teddy Mantoro

Neural Information Processing

Teddy Mantoro

Paperback

Not Available

Book Cover for Formal Methods Teaching by João F Ferreira

Formal Methods Teaching

João F Ferreira

Paperback

Not Available

Book Cover for Parallel and Distributed Computing, Applications and Technologies by Hong Shen

Parallel and Distributed Computing, Applications and Technologies

Hong Shen

Paperback

Not Available

Book Cover for Languages and Compilers for Parallel Computing by Barbara Chapman

Languages and Compilers for Parallel Computing

Barbara Chapman

Paperback

Not Available

Book Cover for WALCOM: Algorithms and Computation by Petra Mutzel

WALCOM: Algorithms and Computation

Petra Mutzel

Paperback

Not Available

Book Cover for Rigorous Methods for Software Construction and Analysis by JeanRaymond Abrial

Rigorous Methods for Software Construction and Analysis

JeanRaymond Abrial

Paperback

Not Available

Book Cover for Algorithmics of Large and Complex Networks by Jürgen Lerner

Algorithmics of Large and Complex Networks

Jürgen Lerner

Paperback

Not Available

Book Cover for High Performance Embedded Architectures and Compilers by Yale N Patt

High Performance Embedded Architectures and Compilers

Yale N Patt

Paperback

Not Available

Book Cover for Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy by Minrui Fei

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy

Minrui Fei

Paperback

Not Available

Book Cover for The Logic of Categorial Grammars by Richard Moot, Christian Retore

The Logic of Categorial Grammars

Richard Moot and 1 more

Paperback

Not Available

Book Cover for Parallel Processing and Applied Mathematics, Part II by Roman Wyrzykowski

Parallel Processing and Applied Mathematics, Part II

Roman Wyrzykowski

Paperback

Not Available

Book Cover for Intelligent Computing Technology by DeShuang Huang

Intelligent Computing Technology

DeShuang Huang

Paperback

Not Available

Book Cover for SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindler?v Mlýn, Czech Republic, January 26-31, 2013, P by Peter van Emde Boas

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindler?v Mlýn, Czech Republic, January 26-31, 2013, P

Peter van Emde Boas

Paperback

Not Available

Book Cover for Logic-Based Program Synthesis and Transformation by Elvira Albert

Logic-Based Program Synthesis and Transformation

Elvira Albert

Paperback

Not Available

Book Cover for Computer Aided Verification by Natasha Sharygina

Computer Aided Verification

Natasha Sharygina

Paperback

Not Available

Book Cover for Reconfigurable Computing: Architectures, Tools, and Applications by Diana Goehringer

Reconfigurable Computing: Architectures, Tools, and Applications

Diana Goehringer

Paperback

Not Available

Book Cover for Rewriting and Typed Lambda Calculi by Gilles Dowek

Rewriting and Typed Lambda Calculi

Gilles Dowek

Paperback

Not Available

Book Cover for Automata, Languages, and Programming by Javier Esparza

Automata, Languages, and Programming

Javier Esparza

Paperback

Not Available

Book Cover for Formal Grammar by Glyn Morrill

Formal Grammar

Glyn Morrill

Paperback

Not Available

Book Cover for Quantitative Evaluation of Systems by Gethin Norman

Quantitative Evaluation of Systems

Gethin Norman

Paperback

Not Available

Book Cover for Static Analysis by Markus MüllerOlm

Static Analysis

Markus MüllerOlm

Paperback

Not Available

Book Cover for Solving Software Challenges for Exascale by Stefano Markidis

Solving Software Challenges for Exascale

Stefano Markidis

Paperback

Not Available

Book Cover for Neural Information Processing by Chu Kiong Loo

Neural Information Processing

Chu Kiong Loo

Paperback

Not Available

Book Cover for Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Pa by Florin Pop

Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Pa

Florin Pop

Paperback

Not Available

Book Cover for Languages and Compilers for Parallel Computing by James Brodman

Languages and Compilers for Parallel Computing

James Brodman

Paperback

Not Available

Book Cover for High Performance Computing for Computational Science -- VECPAR 2014 by Michel Daydé

High Performance Computing for Computational Science -- VECPAR 2014

Michel Daydé

Paperback

Not Available

Book Cover for Models of Strategic Reasoning by Johan van Benthem

Models of Strategic Reasoning

Johan van Benthem

Paperback

Not Available

Book Cover for Logic, Language, and Computation by Martin Aher

Logic, Language, and Computation

Martin Aher

Paperback

Not Available

Book Cover for Cellular Automata and Discrete Complex Systems by Teijiro Isokawa

Cellular Automata and Discrete Complex Systems

Teijiro Isokawa

Paperback

Not Available

Book Cover for Architecture of Computing Systems – ARCS 2015 by Luís Miguel Pinho Pinho

Architecture of Computing Systems – ARCS 2015

Luís Miguel Pinho Pinho

Paperback

Not Available

Book Cover for Evolutionary Computation in Combinatorial Optimization by Gabriela Ochoa

Evolutionary Computation in Combinatorial Optimization

Gabriela Ochoa

Paperback

Not Available

Book Cover for Applications of Evolutionary Computation by Antonio M Mora

Applications of Evolutionary Computation

Antonio M Mora

Paperback

Not Available

Book Cover for Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, Apri by Alexander Egyed

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, Apri

Alexander Egyed

Paperback

Not Available

Book Cover for Applied Reconfigurable Computing by Kentaro Sano

Applied Reconfigurable Computing

Kentaro Sano

Paperback

Not Available

Book Cover for Arithmetic of Finite Fields by Çetin Kaya Koç

Arithmetic of Finite Fields

Çetin Kaya Koç

Paperback

Not Available

Book Cover for Cellular Automata and Discrete Complex Systems by Jarkko Kari

Cellular Automata and Discrete Complex Systems

Jarkko Kari

Paperback

Not Available

Book Cover for Artificial Computation in Biology and Medicine by José Manuel Ferrández Vicente

Artificial Computation in Biology and Medicine

José Manuel Ferrández Vicente

Paperback

Not Available

Book Cover for Bioinspired Computation in Artificial Systems by José Manuel Ferrández Vicente

Bioinspired Computation in Artificial Systems

José Manuel Ferrández Vicente

Paperback

Not Available

Book Cover for Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings by Evripidis Bampis

Experimental Algorithms 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings

Evripidis Bampis

Paperback

Not Available

Book Cover for Frontiers in Algorithmics by Jianxin Wang

Frontiers in Algorithmics

Jianxin Wang

Paperback

Not Available

Book Cover for Evolving Computability by Arnold Beckmann

Evolving Computability

Arnold Beckmann

Paperback

Not Available

Book Cover for Computer Science -- Theory and Applications by Lev D Beklemishev

Computer Science -- Theory and Applications

Lev D Beklemishev

Paperback

Not Available

Book Cover for Advances in Swarm and Computational Intelligence by Ying Tan

Advances in Swarm and Computational Intelligence

Ying Tan

Paperback

Not Available

Book Cover for Graph Transformation by Francesco ParisiPresicce

Graph Transformation

Francesco ParisiPresicce

Paperback

Not Available

Book Cover for Computational Science and Its Applications -- ICCSA 2015 by Osvaldo Gervasi

Computational Science and Its Applications -- ICCSA 2015

Osvaldo Gervasi

Paperback

Not Available

Book Cover for Logic, Language, Information, and Computation by Valeria de Paiva

Logic, Language, Information, and Computation

Valeria de Paiva

Paperback

Not Available

Book Cover for Computer Vision Systems by Lazaros Nalpantidis

Computer Vision Systems

Lazaros Nalpantidis

Paperback

Not Available

Book Cover for Developments in Language Theory by Igor Potapov

Developments in Language Theory

Igor Potapov

Paperback

Not Available

Book Cover for Computational Social Networks by My T Thai

Computational Social Networks

My T Thai

Paperback

Not Available

Book Cover for Logic, Rewriting, and Concurrency by Narciso MartíOliet

Logic, Rewriting, and Concurrency

Narciso MartíOliet

Paperback

Not Available

Book Cover for Fundamentals of Computation Theory by Adrian Kosowski

Fundamentals of Computation Theory

Adrian Kosowski

Paperback

Not Available

Book Cover for DNA Computing and Molecular Programming by Andrew Phillips

DNA Computing and Molecular Programming

Andrew Phillips

Paperback

Not Available

Book Cover for Curves and Surfaces by JeanDaniel Boissonnat

Curves and Surfaces

JeanDaniel Boissonnat

Paperback

Not Available

Book Cover for Algorithm Engineering by Lasse Kliemann

Algorithm Engineering

Lasse Kliemann

Paperback

Not Available

Book Cover for Graph-Theoretic Concepts in Computer Science by Ernst W Mayr

Graph-Theoretic Concepts in Computer Science

Ernst W Mayr

Paperback

Not Available

Book Cover for Model Checking Software by Bernd Fischer

Model Checking Software

Bernd Fischer

Paperback

Not Available

Book Cover for Quantitative Evaluation of Systems by Javier Campos

Quantitative Evaluation of Systems

Javier Campos

Paperback

Not Available

Book Cover for Formal Modeling and Analysis of Timed Systems by Sriram Sankaranarayanan

Formal Modeling and Analysis of Timed Systems

Sriram Sankaranarayanan

Paperback

Not Available

Book Cover for Algebraic Informatics by Andreas Maletti

Algebraic Informatics

Andreas Maletti

Paperback

Not Available

Book Cover for Algorithms - ESA 2015 by Nikhil Bansal

Algorithms - ESA 2015

Nikhil Bansal

Paperback

Not Available

Book Cover for Computational Logistics by Francesco Corman

Computational Logistics

Francesco Corman

Paperback

Not Available

Book Cover for Relational and Algebraic Methods in Computer Science by Wolfram Kahl

Relational and Algebraic Methods in Computer Science

Wolfram Kahl

Paperback

Not Available

Book Cover for Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings by Roland Meyer

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Roland Meyer

Paperback

Not Available

Book Cover for Spatial Information Theory by Sara Irina Fabrikant

Spatial Information Theory

Sara Irina Fabrikant

Paperback

Not Available

Book Cover for Open and Big Data Management and Innovation by Marijn Janssen

Open and Big Data Management and Innovation

Marijn Janssen

Paperback

Not Available

Book Cover for Advances in Neural Networks – ISNN 2015 by Xiaolin Hu

Advances in Neural Networks – ISNN 2015

Xiaolin Hu

Paperback

Not Available

Book Cover for Informatics in Schools. Curricula, Competences, and Competitions 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, Septem by Andrej Brodnik

Informatics in Schools. Curricula, Competences, and Competitions 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, Septem

Andrej Brodnik

Paperback

Not Available

Book Cover for Logic, Rationality, and Interaction by Wiebe van der Hoek

Logic, Rationality, and Interaction

Wiebe van der Hoek

Paperback

Not Available

Book Cover for Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, D by Florin Pop

Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, D

Florin Pop

Paperback

Not Available

Book Cover for Programming Languages with Applications to Biology and Security by Chiara Bodei

Programming Languages with Applications to Biology and Security

Chiara Bodei

Paperback

Not Available

Book Cover for Algorithms and Models for the Web Graph by David F Gleich

Algorithms and Models for the Web Graph

David F Gleich

Paperback

Not Available

Book Cover for Combinatorial Optimization and Applications by Zaixin Lu

Combinatorial Optimization and Applications

Zaixin Lu

Paperback

Not Available

Book Cover for Neural Information Processing by Sabri Arik

Neural Information Processing

Sabri Arik

Paperback

Not Available

Book Cover for Algorithmic Aspects of Cloud Computing by Ioannis Karydis

Algorithmic Aspects of Cloud Computing

Ioannis Karydis

Paperback

Not Available

Book Cover for Languages and Compilers for Parallel Computing by Xipeng Shen

Languages and Compilers for Parallel Computing

Xipeng Shen

Paperback

Not Available

Book Cover for Advances in Computer Games by Aske Plaat

Advances in Computer Games

Aske Plaat

Paperback

Not Available

Book Cover for Logic-Based Program Synthesis and Transformation by Moreno Falaschi

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

Paperback

Not Available

Book Cover for Algorithms and Architectures for Parallel Processing by Guojin Wang

Algorithms and Architectures for Parallel Processing

Guojin Wang

Paperback

Not Available

Book Cover for Quantum Interaction by Harald Atmanspacher

Quantum Interaction

Harald Atmanspacher

Paperback

Not Available

Book Cover for Combinatorial Algorithms by Zsuzsanna Lipták

Combinatorial Algorithms

Zsuzsanna Lipták

Paperback

Not Available

Book Cover for Scientific Computing, Computer Arithmetic, and Validated Numerics by Marco Nehmeier

Scientific Computing, Computer Arithmetic, and Validated Numerics

Marco Nehmeier

Paperback

Not Available

Book Cover for Semantics, Logics, and Calculi by Christian W Probst

Semantics, Logics, and Calculi

Christian W Probst

Paperback

Not Available

Book Cover for High Performance Computing and Applications by Jiang Xie

High Performance Computing and Applications

Jiang Xie

Paperback

Not Available

Book Cover for Genetic Programming by Malcolm I Heywood

Genetic Programming

Malcolm I Heywood

Paperback

Not Available

Book Cover for Evolutionary and Biologically Inspired Music, Sound, Art and Design by Colin Johnson

Evolutionary and Biologically Inspired Music, Sound, Art and Design

Colin Johnson

Paperback

Not Available

Book Cover for Algorithms and Discrete Applied Mathematics by Sathish Govindarajan

Algorithms and Discrete Applied Mathematics

Sathish Govindarajan

Paperback

Not Available

Book Cover for Language and Automata Theory and Applications by AdrianHoria Dediu

Language and Automata Theory and Applications

AdrianHoria Dediu

Paperback

Not Available

Book Cover for WALCOM: Algorithms and Computation by Mohammad Kaykobad

WALCOM: Algorithms and Computation

Mohammad Kaykobad

Paperback

Not Available

Book Cover for Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Nethe by Peter Thiemann

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Nethe

Peter Thiemann

Paperback

Not Available

Book Cover for Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The N by Perdita Stevens

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The N

Perdita Stevens

Paperback

Not Available

Book Cover for Architecture of Computing Systems -- ARCS 2016 by Frank Hannig

Architecture of Computing Systems -- ARCS 2016

Frank Hannig

Paperback

Not Available

Book Cover for Green, Pervasive, and Cloud Computing by Xinyi Huang

Green, Pervasive, and Cloud Computing

Xinyi Huang

Paperback

Not Available

Book Cover for Cellular Automata and Discrete Complex Systems by Matthew Cook

Cellular Automata and Discrete Complex Systems

Matthew Cook

Paperback

Not Available

Book Cover for Hybrid Metaheuristics by Maria J Blesa

Hybrid Metaheuristics

Maria J Blesa

Paperback

Not Available

Book Cover for Integration of AI and OR Techniques in Constraint Programming by ClaudeGuy Quimper

Integration of AI and OR Techniques in Constraint Programming

ClaudeGuy Quimper

Paperback

Not Available

Book Cover for The Semantic Web. Latest Advances and New Domains by Harald Sack

The Semantic Web. Latest Advances and New Domains

Harald Sack

Paperback

Not Available

Book Cover for Integer Programming and Combinatorial Optimization by Quentin Louveaux

Integer Programming and Combinatorial Optimization

Quentin Louveaux

Paperback

Not Available

Book Cover for Computer Science – Theory and Applications by Alexander S Kulikov

Computer Science – Theory and Applications

Alexander S Kulikov

Paperback

Not Available

Book Cover for Implementation and Application of Automata by YoSub Han

Implementation and Application of Automata

YoSub Han

Paperback

Not Available

Book Cover for Frontiers in Algorithmics by Daming Zhu

Frontiers in Algorithmics

Daming Zhu

Paperback

Not Available

Book Cover for Advances in Neural Networks – ISNN 2016 by Long Cheng

Advances in Neural Networks – ISNN 2016

Long Cheng

Paperback

Not Available

Book Cover for Blended Learning: Aligning Theory with Practices by Simon KS Cheung

Blended Learning: Aligning Theory with Practices

Simon KS Cheung

Paperback

Not Available

Book Cover for Graph Transformation by Rachid Echahed

Graph Transformation

Rachid Echahed

Paperback

Not Available

Book Cover for Software Engineering and Formal Methods by Rocco De Nicola

Software Engineering and Formal Methods

Rocco De Nicola

Paperback

Not Available

Book Cover for Algorithmic Aspects in Information and Management by Riccardo Dondi

Algorithmic Aspects in Information and Management

Riccardo Dondi

Paperback

Not Available

Book Cover for Computational Science and Its Applications - ICCSA 2016 by Osvaldo Gervasi

Computational Science and Its Applications - ICCSA 2016

Osvaldo Gervasi

Paperback

Not Available

Book Cover for Computational Social Networks by Hien T Nguyen

Computational Social Networks

Hien T Nguyen

Paperback

Not Available

Book Cover for Computing and Combinatorics by Thang N Dinh

Computing and Combinatorics

Thang N Dinh

Paperback

Not Available

Book Cover for Wireless Algorithms, Systems, and Applications by Qing Yang

Wireless Algorithms, Systems, and Applications

Qing Yang

Paperback

Not Available

Book Cover for Graph Drawing and Network Visualization by Yifan Hu

Graph Drawing and Network Visualization

Yifan Hu

Paperback

Not Available

Book Cover for Interactive Theorem Proving by Jasmin Christian Blanchette

Interactive Theorem Proving

Jasmin Christian Blanchette

Paperback

Not Available

Book Cover for DNA Computing and Molecular Programming by Yannick Rondelez

DNA Computing and Molecular Programming

Yannick Rondelez

Paperback

Not Available

Book Cover for Developments in Language Theory by Sreko Brlek

Developments in Language Theory

Sreko Brlek

Paperback

Not Available

Book Cover for Social Media: The Good, the Bad, and the Ugly by Yogesh K Dwivedi

Social Media: The Good, the Bad, and the Ugly

Yogesh K Dwivedi

Paperback

Not Available

Book Cover for Combinatorial Optimization by Raffaele Cerulli

Combinatorial Optimization

Raffaele Cerulli

Paperback

Not Available

Book Cover for Discrete Optimization and Operations Research by Yury Kochetov

Discrete Optimization and Operations Research

Yury Kochetov

Paperback

Not Available

Book Cover for Swarm, Evolutionary, and Memetic Computing by Bijaya Ketan Panigrahi

Swarm, Evolutionary, and Memetic Computing

Bijaya Ketan Panigrahi

Paperback

Not Available

Book Cover for Reachability Problems by Kim Guldstrand Larsen

Reachability Problems

Kim Guldstrand Larsen

Paperback

Not Available

Book Cover for Parallel Problem Solving from Nature – PPSN XIV by Julia Handl

Parallel Problem Solving from Nature – PPSN XIV

Julia Handl

Paperback

Not Available

Book Cover for Discrete and Computational Geometry and Graphs by Jin Akiyama

Discrete and Computational Geometry and Graphs

Jin Akiyama

Paperback

Not Available

Book Cover for Neural Information Processing by Akira Hirose

Neural Information Processing

Akira Hirose

Paperback

Not Available

Book Cover for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part

Tiziana Margaria

Paperback

Not Available

Book Cover for A Pipelined Multi-Core Machine with Operating System Support by Petro Lutsyk, Jonas Oberhauser, Wolfgang J Paul

A Pipelined Multi-Core Machine with Operating System Support

Petro Lutsyk and 2 more

Paperback

Not Available

©PTC International Ltd T/A LoveReading is registered in England. Company number: 10193437. VAT number: 270 4538 09. Registered address: 157 Shooters Hill, London, SE18 3HP.
Terms & Conditions | Privacy Policy | Disclaimer